Implementation of a Visual DEVS Formalism in Both GenGED and AToM
نویسنده
چکیده
An implementation of a visual DEVS formalism in two meta-modeling tools, GenGED and AToM is described. In particular an attempt is made to exploit the specialized nature of these tools to build the implementation in as little time as possible. The need for graphical layout, an easy to use user interface, model correctness checking, and generation of DEVS simulation code push these tools to the limit. This paper can be read as an informal comparison of the approaches the two tools have taken to the problem of rapid prototyping of visual languages.
منابع مشابه
Integrating a neutral action language in a DEVS modelling environment
Visual environments for the modelling and simulation of complex, software-intensive systems are increasingly popular. While visual languages have many advantages, they may not be appropriate to render all details of a Discrete EVent system Specification (DEVS) model. Textual may be more appropriate, both to completely describe all details of a DEVS model (i.e., the content of transition and out...
متن کاملA testing framework for DEVS formalism implementations
The Discrete-Event system Specification (DEVS) is a widely used formalism for discrete-event modelling and simulation. A variety of DEVS modelling and simulation tools have been implemented. Diverse implementations with platformspecific characteristics and often tailored to specific problem domains need to be tested to ensure their compliance with the precise and formal DEVS formalism specifica...
متن کاملVisual Design of Software Architecture and Evolution based on Graph Transformation
The paper suggests a two-level approach to describe visually software architectures and their evolution. One visual modeling formalism is used to describe the architecture level while another is used to model the behavior of each component (component specification level). Graph transformation is applied for both levels to describe the modeling formalisms and the model evolution in a formal way....
متن کاملDebugging Parallel DEVS
To this day, debugging support for the DEVS formalism has been provided, at best, in an ad-hoc way. The intricacies of dealing with the interplay of different notions of (simulated) time, the formalism semantics, and user input, has not been thoroughly investigated. This paper presents a visual modelling, simulation, and debugging environment for Parallel DEVS, which builds on a theoretical fou...
متن کاملDesigning DEVS visual interfaces for end-user programmers
Although the Discrete EVent System specification (DEVS) has over recent decades provided systems engineers with a scalable approach to modeling and simulation, the formalism has seen little uptake in many other disciplines where it could be equally useful. Our observations of end-user programmers confronted with DEVS theory or software suggest that learning barriers are largely responsible for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005